School of Computing and Mathematical Sciences. Research groups include AI; Parallel processing; Computing for law; Natural language processing; Information integrity.
School of Computing and Engineering. Research groups in AI and Formal methods; Database access; Interactive technology; Numerical and neural computing; Software engineering.
Department of Computer Science. Research groups: Visualization; Simulation and modelling; Neural, emergent and agent technologies; Distributed systems engineering.
Computing Laboratory. Research groups include Theoretical computer science, Networks and distributed systems, Software and systems engineering, Information systems, Parallel and scientific computing, and Computers and education research.
School of Computing. Research groups: Constraint programming and OR; Knowledge representation and reasoning; Multi-disciplinary informatics; Perception and language; Scientific computation and visualisation; Theoretical computer science.
Department of Mathematics and Computer Science. The Computer Science group specializes in Semantics, Formal methods, Software engineering, Complexity theory and Finite model theory.
Department of Computing. Research areas: Databases, Formal methods, Software testing, Software engineering, Algorithms, Cryptography, AI, Graphics and Natural language processing.